Algebraic logic - PDFSEARCH.IO - Document Search Engine

Algebraic logic
Results: 422

#	Item
21	Circuits for Datalog Provenance Daniel Deutch Tova Milo Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2013-12-16 04:18:28 Mathematics Computing Mathematical logic Database theory Complexity classes Boolean algebra Algebraic structures Relational model Datalog Relational algebra Tuple FO
22	CONTRIBUTIONS TO GENERAL ALGEBRA 12 Pro eedings of the Vienna Conferen e, June 3{6, 1999 Verlag Johannes Heyn, Klagenfurt 2000 IMPLICATIONS OF PROPERTIES CONCERNING COMPLEMENTATION IN FINITE LATTICES Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:14:44 Algebraic logic Boolean algebra Lattice theory
23	Ramsey Classes by Partite Construction II Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2015-07-25 03:57:12 Mathematics Algebraic structures Model theory Mathematical logic Universal algebra Ramsey theory Structure Ramsey class FO Semigroup Lattice
24	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
25	761 Documenta Math. A Bound for the Torsion in the K -Theory of Algebraic Integers Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-23 07:52:18 Mathematics Mathematical analysis Model theory Mathematical logic Structure Universal algebra Embedding Sigma-algebra Decomposition of spectrum
26	Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Add to Reading List Source URL: plmms09.cse.tamu.edu Language: English - Date: 2009-08-19 04:48:38 Algebraic structures Mathematical logic Algebraic logic Lattice theory Order theory Galois connection Field Heyting algebra Relation algebra variste Galois Residuated lattice Group
27	cs281: Introduction to Computer Systems Lab02 – Basic Combinational Circuits: The Mux and the Adder Overview The objective of this lab is to understand two basic combinational circuits — the multiplexor and the adde Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Logic gates Boolean algebra Digital circuits Logic in computer science Algebraic logic Multiplexer Adder Combinational logic Truth table Arduino Breadboard OR gate
28	Questionnaire Summary of the main activities of a research institute of the Slovak Academy of Sciences Period: January 1, December 31, Basic information on the institute: Add to Reading List Source URL: www.mat.savba.sk Language: English - Date: 2016-08-03 08:36:28 Fuzzy logic Algebraic logic Algebraic structures MV-algebra Many-valued logic Von Neumann algebra Fuzzy set Algebra over a field Representation theory Quaternion
29	RAMIFICATION CORRESPONDENCE OF FINITE FLAT GROUP SCHEMES OVER EQUAL AND MIXED CHARACTERISTIC LOCAL FIELDS SHIN HATTORI Abstract. Let p > 2 be a rational prime, k be a perfect field of characteristic p and K be a finite t Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2011-01-01 23:09:08 Algebraic number theory Algebraic topology Complex analysis Algebraic geometry Galois module Galois theory Ramification Valuation Sheaf Linear temporal logic Isomorphism theorem
30	A Pseudo-Boolean Framework for Computing Rearrangement Distances between Genomes with Duplicates S´ebastien Angibaud∗ Guillaume Fertin† St´ephane Vialette§ Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2009-07-03 08:57:17 Algebraic logic Boolean algebra